The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

Discussions of political obligation and political authority have long focused on the idea that the commands of genuine authorities constitute content-independent reasons. Despite its centrality in these debates, the notion of content-independence is unclear and controversial, with some claiming that it is incoherent, useless, or increasingly irrelevant. I clarify content-independence by focusing on how reasons can depend on features of their source or container. I then solve the long-standing puzzle of whether the fact that laws can constitute content-independent reasons is (...) consistent with the fact that some laws must fail to bind due to their egregiously unjust content. Finally I defend my understanding of content-independence against challenges and show why it retains a place of special importance for questions about the law and political obligation. Content-independence highlights that it is some feature of the law or law-making process in general that is supposed to generate moral obligations for citizens, not the merits of particular laws. (shrink)

Epistemic trespassers judge matters outside their field of expertise. Trespassing is ubiquitous in this age of interdisciplinary research and recognizing this will require us to be more intellectually modest.

This article evaluates an emerging element in popular debate and inquiry: DYOR. (Haven’t heard of the acronym? Then Do Your Own Research.) The slogan is flexible and versatile. It is used frequently on social media platforms about topics from medical science to financial investing to conspiracy theories. Using conceptual and empirical resources drawn from philosophy and psychology, we examine key questions about the slogan’s operation in human cognition and epistemic culture.

In this essay I consider whether the political perspective of third wave science studies – ‘elective modernism’ – offers a suitable framework for understanding the policy-making contributions that (bio)ethical experts might make. The question arises as a consequence of the fact that I have taken inspiration from the third wave in order to develop an account of (bio)ethical expertise. I offer a précis of this work and a brief summary of elective modernism before considering their relation. The view I set (...) out suggests that elective modernism is a political philosophy and that although its use in relation to the use of scientific expertise in political and policy-making process has implications for the role of (bio)ethical expertise it does not, in the final analysis, provide an account that is appropriate for this latter form of specialist expertise. Nevertheless, it is an informative perspective, and one that can help us make sense of the political uses of (bio)ethical expertise. (shrink)

Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

I argue that there is moral luck, i.e., that factors beyond our control can affect how laudable or culpable we are.

Inflicting harm is generally preferable to inflicting death. If you must choose between the two, you should generally choose to harm. But prenatal harm seems different. If a mother must choose between harming her fetus or aborting it, she may choose either, at least in many cases. So it seems that prenatal harm is particularly objectionable, sometimes on a par with death. This paper offers an explanation of why prenatal harm seems particularly objectionable by drawing an analogy to the all-or-nothing (...) problem. It then argues that this analogy offers independent support for the ‘voluntarist’ view that at least some parental role obligations are grounded in the choice to be a parent. (shrink)

In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

The Counterfactual Comparative Account of Harm says that an event is overall harmful for someone if and only if it makes her worse off than she otherwise would have been. I defend this account from two common objections.

When the environment in which an organism lives deviates in some essential way from that to which it is adapted, this is described as “evolutionary mismatch,” or “evolutionary novelty.” The notion of mismatch plays an important role, explicitly or implicitly, in evolution-informed cognitive psychology, clinical psychology, and medicine. The evolutionary novelty of our contemporary environment is thought to have significant implications for our health and well-being. However, scientists have generally been working without a clear definition of mismatch. This paper defines (...) mismatch as deviations in the environment that render biological traits unable, or impaired in their ability, to produce their selected effects. The machinery developed by Millikan in connection with her account of proper function, and with her related teleosemantic account of representation, is used to identify four major types, and several subtypes, of evolutionary mismatch. While the taxonomy offered here does not in itself resolve any scientific debates, the hope is that it can be used to better formulate empirical hypotheses concerning the effects of mismatch. To illustrate, it is used to show that the controversial hypothesis that general intelligence evolved as an adaptation to handle evolutionary novelty can, contra some critics, be formulated in a conceptually coherent way. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

In this paper, I consider a novel challenge to John Martin Fischer and Mark Ravizza’s reasons-responsiveness theory of moral responsibility. According to their view, agents possess the control necessary for moral responsibility if their actions proceed from a mechanism that is moderately reasons-responsive. I argue that their account of moderate reasons-responsiveness fails to provide necessary and sufficient conditions for moral responsibility since it cannot give an adequate account of the responsibility of individuals with autism spectrum disorder. Empirical evidence suggests that (...) autistic individuals demonstrate impairments in counterfactual thinking, and these impairments, I argue, are such that they cast doubt on Fischer and Ravizza’s construal of moderate reasons-responsiveness. I then argue that modifying the view in order to accommodate individuals with ASD forces them to defend a strong reasons-responsive account despite the fact that they explicitly deny that such an account can adequately characterize what it is to be morally responsible for one’s actions. (shrink)

This article explores the relationship between deliberative democracy, the Internet, and systems theory’s thoughts on diversity. After introducing Habermas’s theory of deliberative democracy and how diversity fits into it, the article discusses various ideas about whether and how it could work on the Internet. Next, the article looks at research into diversity done in the field of complex adaptive systems, showing that diversity has both good and bad effects, but is clearly preferred for the purpose of survival. The article concludes (...) with an analysis of how the results of systems theory’s study of diversity can assist society in bringing democracy to the Web. (shrink)

If the laws of nature are metaphysically necessary, then it appears that miracles are metaphysically impossible. Yet Locke accepts both Essentialism, which takes the laws to be metaphysically necessary, and the possibility of miracles. I argue that the apparent conflict here can be resolved if the laws are by themselves insufficient for guaranteeing the outcome of a particular event. This suggests that, on Locke’s view, the laws of nature entail how an object would behave absent divine intervention. While other views (...) of laws also make miracles counterfactually dependent on God’s will, I show how this view is consistent with the Essentialist commitment to the view that the laws are metaphysically necessary. Further, I argue Locke’s view is a relatively attractive version of Essentialism, in part, because it allows for the possibility of miracles. (shrink)

In recent years there has been an explosion of philosophical work on blame. Much of this work has focused on explicating the nature of blame or on examining the norms that govern it, and the primary motivation for theorizing about blame seems to derive from blame’s tight connection to responsibility. However, very little philosophical attention has been given to praise and its attendant practices. In this paper, I identify three possible explanations for this lack of attention. My goal is to (...) show that each of these lines of thought is mistaken and to argue that praise is deserving of careful, independent analysis by philosophers interested in theorizing about responsibility. (shrink)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

The Substituted Judgment Standard for surrogate decision-making dictates that a surrogate, when making medical decisions on behalf of an incapacitated patient, ought to make the decision that the patient would have made if the patient had decisional capacity. Despite its intuitive appeal, however, SJS has been the target of a variety of criticisms. Most objections to SJS appeal to epistemic difficulties involved in determining what a patient would have decided in a given case. In this article, I offer an alternative (...) standard for surrogate decision-making that avoids these difficulties. I then offer an account of its theoretical underpinnings which shows that it preserves the central moral justification for SJS, namely, respect for patient autonomy. (shrink)

In this paper I argue that Locke takes sensitive knowledge (i.e. knowledge from sensation) to be genuine knowledge that material objects exist. Samuel Rickless has recently argued that, for Locke, sensitive knowledge is merely an “assurance”, or a highly probable judgment that falls short of certainty. In reply, I show that Locke sometimes uses “assurance” to describe certain knowledge, and so the use of the term “assurance” to describe sensitive knowledge does not entail that it is less than certain. Further, (...) I show that sensitive knowledge includes the perception of a relation between ideas, and thus it satisfies Locke’s definition of knowledge. He also repeatedly claims that sensitive knowledge is certain. So, despite recent challenges to this interpretation raised in the secondary literature, Locke really does take sensitive knowledge to be certain knowledge. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

Some prominent scientists and philosophers have stated openly that moral and political considerations should influence whether we accept or promulgate scientific theories. This widespread view has significantly influenced the development, and public perception, of intelligence research. Theories related to group differences in intelligence are often rejected a priori on explicitly moral grounds. Thus the idea, frequently expressed by commentators on science, that science is “self-correcting”—that hypotheses are simply abandoned when they are undermined by empirical evidence—may not be correct in all (...) contexts. In this paper, documentation spanning from the early 1970s to the present is collected, which reveals the influence of scientists’ moral and political commitments on the study of intelligence. It is suggested that misrepresenting findings in science to achieve desirable social goals will ultimately harm both science and society. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

According to “debunking arguments,” our moral beliefs are explained by evolutionary and cultural processes that do not track objective, mind-independent moral truth. Therefore (the debunkers say) we ought to be skeptics about moral realism. Huemer counters that “moral progress”—the cross-cultural convergence on liberalism—cannot be explained by debunking arguments. According to him, the best explanation for this phenomenon is that people have come to recognize the objective correctness of liberalism. Although Huemer may be the first philosopher to make this explicit empirical (...) argument for moral realism, the idea that societies will eventually converge on the same moral beliefs is a notable theme in realist thinking. Antirealists, on the other hand, often point to seemingly intractable cross-cultural moral disagreement as evidence against realism (the “argument from disagreement”). This paper argues that the trend toward liberalism is susceptible to a debunking explanation, being driven by two related non-truth-tracking processes. First, large numbers of people gravitate to liberal values for reasons of self-interest. Second, as societies become more prosperous and advanced, they become more effective at suppressing violence, and they create conditions where people are more likely to empathize with others, which encourages liberalism. The latter process is not truth tracking (or so this paper argues) because empathy-based moral beliefs are themselves susceptible to an evolutionary debunking argument. Cross-cultural convergence on liberalism per se does not support either realism or antirealism. (shrink)

I argue that Davidson's conception of motivating reasons as belief-desire pairs suggests a model of normative reasons for action that is superior to the orthodox conception according to which normative reasons are propositions, facts, or the truth-makers of such facts.

Rather infamously, Kit Fine provided a series of counter-examples which purport to show that the modalist program of analysing essence in terms of metaphysical necessity is fundamentally misguided. Several would-be modalists have since responded, attempting to save the position from this Finean Challenge. This paper evaluates and rejects a trio of such responses, from Della Rocca, Zalta, and Gorman. But I’m not here arguing for Fine’s conclusion – ultimately, this is a fight amongst friends, with Della Rocca, Zalta, Gorman, and (...) I all wanting to be modalists, but disagreeing on the details. As such, while my primary aim is to show what’s wrong with this trio, the secondary aim is demonstrating how what’s right about them in fact pushes one towards my own sparse modalist account. So while the primary conclusion of this paper is negative, the secondary, positive, conclusion is that modalists shouldn’t give up hope – plausible responses to Fine are still out there. (shrink)

A sequel to the author’s book /Frege’s Puzzle/ (1986).

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

This chapter is concerned with three specific questions. First, has there ever been a distinctive and independent ‘anarchist’ political philosophy, or is anarchism better viewed as a minor sect of another political philosophy — for example, socialism or liberalism — which cannot claim any critical and conceptual resources of its own? Second, if there has been such a distinctive and independent philosophy, what are its defining characteristics? Third, whether there is a distinctive and independent anarchist political philosophy or not, should (...) there be? (shrink)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

Cross-cultural comparisons face several methodological challenges. In an attempt at resolving some such challenges, Nathan Sivin has developed the framework of “cultural manifolds.” This framework includes all the pertinent dimensions of a complex phenomenon and the interactions that make all of these aspects into a single whole. In engaging with this framework, Anna Akasoy illustrates that the phenomena used in comparative approaches to cultural and intellectual history need to be subjected to a continuous change of perspectives. Writing about comparative (...) history, Warwick Anderson directs attention to an articulation between synchronic and diachronic modes of inquiry. In addition, he asks: If comparative studies require a number of collaborators, how does one coordinate the various contributors? And how does one ensure that the comparison is between separate entities, without mutual historical entanglement? Finally, how does comparative history stack up against more dynamic approaches, such as connected, transnational, and postcolonial histories? Gérard Colas, for his part, claims that comparisons cannot allow one to move away from the dominant Euroamerican conceptual framework. Should this indeed be the case, we should search for better ways of facilitating a “mutual pollination” between philosophies. Finally, Edmond Eh first asserts that Sivin fails to recognize the difference between comparisons within cultures and comparisons between cultures. He then argues that the application of generalism is limited to comparisons of historical nature. (shrink)

Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...) We argue that the exclusively negative attention that the objection has received has been a mistake. On our reading, Parfit's Normativity Objection poses a serious threat to reductivism, as it exposes the uneasy relationship between our a priori knowledge of a range of distinctly normative truths and the typical package of semantic commitments that reductivists have embraced since the Kripkean revolution. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate is (...) a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

Eleven top Deleuze scholars reclaim Deleuzian philosophy as moral philosophy Ethics plays a crucial, if subtle, role in Gilles Deleuze's philosophical project. Michel Foucault claimed that Anti-Oedipus was `a book of ethics, the first book of ethics to be written in France in quite a long time'. But what is the nature of the immanent ethics that is developed in Deleuze's thought? How does it differ from previous conceptions of ethics? And what paths does it open for future thought, given (...) the ethical challenges facing humanity in so many domains? Each of the eleven essays in this collection explores the ethical dimension of Deleuze's thought along a new and singular trajectory, and in so doing, attempts to reclaim his philosophy as an ethical philosophy. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)